Vandermonde's identity
$ \sum_{i=0}^k \binom{n}{i}\binom{m}{k - i} = \binom{n+m}{k}
[Number of routes
https://gyazo.com/623501bda4290cb7ffb28196502933b5
special case(k=n, m=n)
$ \sum_{i=0}^n \binom{n}{i}^2 = \binom{2n}{n}
---
This page is auto-translated from /nishio/Vandermondeの恒等式. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I'm very happy to spread my thought to non-Japanese readers.